/*
 * To change this license header, choose License Headers in Project Properties.
 * To change this template file, choose Tools | Templates
 * and open the template in the editor.
 */

package tp2ia_partie1.objects;

/**
 *
 * @author hp
 */
public class Substitution {
    
    private Variable v;
    private Atome a;

    public Substitution(Variable v, Atome a) {
        this.v = v;
        this.a = a;
    }

    public Variable getV() {
        return v;
    }

    public Atome getA() {
        return a;
    }

    @Override
    public String toString() {
        return "{"+ v + "/" + a + '}';
    }
    
        
}
